public void paint(Graphics g) {
	super.paint(g);
	if (armed) {
	    if (pressed) {
		g.setColor(Color.gray);
	    } else {
		g.setColor(Color.lightGray);
	    }
	    g.fillPolygon(vertices);
	} else {
	    g.setColor(Color.white);
	    g.fillPolygon(vertices);
	    g.setColor(Color.black);
	    g.drawPolygon(vertices);
	}
    }